package com.chenfubing.ps.service;

import com.baomidou.mybatisplus.extension.plugins.pagination.Page;
import com.chenfubing.ps.entity.Space;
import com.baomidou.mybatisplus.extension.service.IService;

/**
 * <p>
 *  服务类
 * </p>
 *
 * @author chenfubing
 * @since 2020-05-05
 */
public interface ISpaceService extends IService<Space> {

    /**
     * 添加车位
     * @param space
     */
    void addSpace(Space space);

    /**删除车位
     * @param id
     */
    void deleteSpace(int id);

    /**
     * 获取已用车位分页
     * @param pageNum
     * @param pageSize
     * @return
     */
    Page<Space> getSpacePage(int pageNum,int pageSize);

    /**
     * 获得剩余车位个数
     * @return
     */
    Integer getRemainingSpace();
}
